alonzo church
alonzo church
in Technology
person
A twentieth century mathematician and logician, and one of the founders of computer science. Church invented the
lambda-calculus
and posited a version of the Church-Turing thesis.
(1995-03-25)